direct proofs